26 résultats
Filtres
- Droits d'accès
- public 21
- unige_restricted 5
Collections
Complexité et calculabilité / exercicesDocuments
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices |
Complexité et calculabilité / exercices (révision) |
Cours 6 : Introduction à la complexité algorithmique |
Cours 5 : Théorème de Rice (et degrés de Turing) |
Cours 4 : Diagonalisation et indécidabilité |
Cours 3 : Décidable, reconnaissable, simulation |
Cours 2 : Rappels de langages formels |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Algorithmique / cours |
Cours 12 - Universalité et indécidabilité |
Cours 11 - Machines de Turing (divers) |
Cours 10 - Machines de Turing (déterministes) |
Cours 9 - Lemme de l’étoile (hors-contexte) |
Cours 8 - Équivalence AP - GHC |
Cours 7 - Automates à pile |
Cours 6 - Grammaires formelles |
Cours 5 - Lemme de l'étoile (+ fin des expressions régulières) |
Cours 4 - Expressions régulières |
Cours 3 - Non-déterminisme |
Cours 2 - Automates finis |
Cours 1 - Concepts de base |